When I classify Fluffy as a cat, I appear to do so out of an appreciation of a prior metaphysical fact, namely, that she has a nature or essence common to creatures we classify as cats. Locke turns this picture on its head. Our actual practices of naming and sorting individuals into kinds proceed according to ideas in the mind. As Locke puts it, species (kinds) are ‘the Workmanship of the Understanding,’ not the workmanship of nature, because their essences consist (...) in abstract ideas, or ‘nominal essences,’ we make. Many take Locke to mean that the observable similarities and differences between things leave it undetermined how we are to group and distinguish them, so that classification is, and must be, a matter of convention. And while Locke never denies that individuals have real essences, it is argued that knowledge of them would not reveal natural boundaries, either. On this influential reading, nature does not draw boundaries between kinds, and she makes this fact apparent to us. I argue that Locke’s claim that nature does not determine the ‘Boundaries of the Species of Things’ should be understood as the claim that nature does not draw the variable boundaries set out in the nominal essences we make. Differences in our nominal essences reflect differences in speakers’ knowledge of external ‘standards,’ which we latch on to by way of their ‘leading’ qualities, which present the mind with a limited number of unique and highly salient bases for classification. On my reading, nature may very well draw boundaries of her own. (shrink)

It is often claimed that classification, on Locke’s view, proceeds by attending to similarities between things, and it is widely argued that nothing about the sensible similarities between things determines how we are to sort them, in which case sorting substances at the phenomenal level must be arbitrary. However, acquaintance with the “internal” or hidden qualities of substances might yet reveal objective boundaries. Citing what I refer to as the Watch passage in Locke’s Essay (henceforth Watches), many commentators claim that (...) classification at the microphysical level must also be arbitrary. They conclude that sorting is arbitrary at any level of description. I refer to this as the standard reading of Locke on classification. In this paper I argue that Locke does not claim that sorting is arbitrary, either at the phenomenal level, or at the microphysical level. First, Locke does not claim in Watches that sorting is arbitrary at the microphysical level. The existence or nonexistence of objective boundaries at the microphysical level is not Watches’ topic and the passage is in fact silent on that question. Here, the standard reading mistakes a claim about the nature of the task of locating “specific differences” for a claim about the nature of the task of classification. This diagnosis proves instructive, for I argue that a similar conflation underwrites the standard reading’s claim that sorting at the phenomenal level must be arbitrary. Far from arbitrarily choosing how to sort things in terms of their phenomenal similarities, Locke thought that the mind simply follows nature’s lead. This characterization of the mind’s activity, I go on to argue, accords well with Locke’s claim that species are the workmanship of the understanding. (shrink)

I argue that Locke’s various descriptions of real essence pick out one and the same thing, namely a nature that can be ascribed to many things, and in terms of which we can get matters of classification right or wrong. On my reading, Locke does not attack real essences of the sort that are the essences of real species, but rather the presumption that a sorting according to our species concepts and their names is a sorting of things according to (...) their real essences. And the lesson of Locke’s empirical argument against that presumption, I argue, is that our species concepts often function more like higher taxa, grouping together things that knowledge of their real essences would distinguish into distinct lowest species. (shrink)

I argue for an interpretation of Hume on which our confused notions of causal necessity find their model in Hume's notion of logical necessity: our minds react in similar ways to constant conjunctions, on the one hand, and genuine cases of inseparability between ideas, on the other, in light of which we mistakenly place relations of necessitation between objects we call cause and effect. I argue that my account provides a more satisfying explanation of the mismatch between the feeling that (...) provides our true idea of necessary connection and the confused notions of necessary connection held by philosophers and the vulgar. (shrink)

In spring 2020, COVID-19 and the ensuing social distancing and stay-at-home orders instigated abrupt changes to employment and educational infrastructure, leading to uncertainty, concern, and stress among United States college students. The media consumption patterns of this and other social groups across the globe were affected, with early evidence suggesting viewers were seeking both pandemic-themed media and reassuring, familiar content. A general increase in media consumption, and increased consumption of specific types of content, may have been due to media use (...) for coping strategies. This paper examines the relationship between the stress and anxiety of university students and their strategic use of media for coping during initial social distancing periods in March-April 2020 using data from a cross-sectional survey. We examine links between specific types of media use with psychological well-being concepts, and examine the moderating roles of traits as buffers against negative relationships between stress and anxiety and psychological well-being. Our findings indicate that stress was linked to more hedonic and less eudaimonic media use, as well as more avoidant and escapist media-based coping. Anxiety, on the other hand, was linked to more media use in general, specifically more eudaimonic media use and a full range of media-based coping strategies. In turn, escapist media was linked to negative affect, while reframing media and eudaimonic media were linked to positive affect. Avoidant coping was tied to poorer mental health, and humor coping was tied to better mental health. Hedonic and need-satisfying media use were linked to more flourishing. Hope, optimism, and resilience were all predictive of media use, with the latter two traits moderating responses to stress and anxiety. The findings give a nuanced portrait of college students’ media use during a pandemic-induced shutdown, showing that media use is closely intertwined with well-being in both adaptive and maladaptive patterns. (shrink)

How do we teach for human dignity in a context where life is, generally speaking, not treated as precious? How do we carve spaces for humanity amidst inhumane contexts? In this paper, five experienced teachers share how they work from the cracks to expand spaces for human dignity in their schools. They write and act as teacher-philosophers, dually considering it means to teach for human dignity and practically speaking how it can be done.

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

This book constitutes one of the most important contributions to recent Kant scholarship. In it, one of the pre-eminent interpreters of Kant, Henry Allison, offers a comprehensive, systematic, and philosophically astute account of all aspects of Kant's views on aesthetics. The first part of the book analyses Kant's conception of reflective judgment and its connections with both empirical knowledge and judgments of taste. The second and third parts treat two questions that Allison insists must be kept distinct: the (...) normativity of pure judgments of taste, and the moral and systematic significance of taste. The fourth part considers two important topics often neglected in the study of Kant's aesthetics: his conceptions of fine art, and the sublime. (shrink)

Is conceptual engineering feasible? Answering that question requires a theory of semantic change, which is sometimes thought elusive. Fortunately, much is known about semantic change as it occurs in the wild. While usage is chaotic and complex, changes in a word’s use can produce changes in its meaning. There are several under-appreciated empirical constraints on how meanings change that stem from the following observation: word use finely reflects equilibrium between various communicative pressures. Much of the relevant work in linguistics has (...) employed the methods of empirical pragmatics and diachronic semantics. In this way, the study of meaning change can be brought to bear on the conceptual engineer’s normative project. The picture that emerges tells against the sorts of engineering projects most likely to appeal to philosophers. Some may stand to succeed, but they have significantly different contours than the typical ones. (shrink)

There’s a common line of reasoning which supposes that the phenomenal unity of conscious experience is grounded in a mind-like simple subject. To the contrary, Mādhyamika Buddhist philosophers like Śrīgupta (seventh–eighth century) argue that any kind of mental simple is incoherent and thus metaphysically impossible. Lacking any unifying principle, the phenomenal unity of conscious experience is instead an unfounded illusion. In this paper, I present an analysis of Śrīgupta’s "neither-one-nor-many argument" against mental simples and show how his line of reasoning (...) is driven by a set of implicit questions concerning the nature of and relation between consciousness and its intentional object. These questions not only set the agenda for centuries of intra-Buddhist debate on the topic, but they are also questions to which any defender of unified consciousness or a simple subject of experience arguably owes responses. (shrink)

This chapter presents an overview of the life, work, and philosophical contributions of Śāntarakṣita (c. 725–788), who is known for his synthesis of Nāgārjuna’s Madhyamaka with elements of the Dignāga-Dharmakīrti tradition of logic and epistemology. His two most important independent treatises, the Compendium of True Principles (Tattvasaṃgraha) and the Ornament of the Middle Way (Madhyamakālaṃkāra), are characterized by an emphasis on the indispensable role of rational analysis on the Buddhist path as well as serious and systematic engagement with competing Buddhist (...) and non-Buddhist schools of thought. Śāntarakṣita employs a pedagogical-rhetorical device of provisionally adopting what he deems to be successively more rational views to reject less rational ones. Using this approach, in the Ornament of the Middle Way, he recommends a gradual path to arrive at an understanding of the Madhyamaka ultimate truth by incorporating Yogācāra idealist ontology into his presentation of conventional truth. In this same text, he presents an influential iteration of the neither-one-nor-many argument for the Madhyamaka ultimate truth, the emptiness of intrinsic nature—i.e., the universal negation of ontologically independent being—leaving a lasting and significant impact on both Indian and Tibetan Madhyamaka Buddhist philosophy. (shrink)

Canonical defenders of the principle of sufficient reason (PSR), such as Leibniz and Spinoza, are metaphysical foundationalists of one stripe or another. This is curious since the PSR—which says that everything has a ground, cause, or explanation—in effect, denies fundamental entities. In this paper, I explore the apparent inconsistency between metaphysical foundationalism and approaches to metaphysical system building that are driven by a commitment to the PSR. I do so by analyzing how Indian Buddhist philosophers arrive at foundationalist and anti-foundationalist (...) positions motivated by implicit commitments to different versions of the PSR. I begin by introducing the Buddhist principle of dependent origination (pratītyasamutpāda) as a proto-PSR that is restricted to causal explanation. Next, I show how Vasubandhu’s Sautrāntika Abhidharma metaphysics is shaped by a qualified commitment to both causal and metaphysical grounding versions of the PSR. I then reveal how Nāgārjuna’s Madhyamaka metaphysics is driven by an unrestricted and exceptionless commitment to causal and metaphysical grounding versions of the PSR. Finally, I consider how Nāgārjuna’s account may put him in a unique position to respond to a common contemporary objection to the PSR from necessitarianism. I conclude by addressing a competing interpretation on which Nāgārjuna is best understood as an anti-rationalist rather than an uber-rationalist, as I characterize him. (shrink)

Recently, bioethicists and the UNCRPD have advocated for supported medical decision-making on behalf of patients with intellectual disabilities. But what does supported decision-making really entail? One compelling framework is Anita Silvers and Leslie Francis’ mental prosthesis account, which envisions supported decision-making as a process in which trustees act as mere appendages for the patient’s will; the trustee provides the cognitive tools the patient requires to realize her conception of her own good. We argue that supported decision-making would be better understood (...) as a collaborative process, giving patients with intellectual disabilities the opportunity to make decisions in a respectful relationship with trusted others. We offer an alternative account of supported decision-making where the primary constraint is to protect the patient from domination by the trustee. This is advantageous in its preservation of the prospects for genuine collaboration, for the mental prosthesis approach ultimately reinforces a problematic ideal of isolated patient self-determination. (shrink)

According to Madhyamaka Buddhist philosophers, everything depends for its existence on something else. But what would a world devoid of fundamentalia look like? In this paper, I argue that the anti-foundationalist “neither-one-nor-many argument” of the Indian Mādhyamika Śrīgupta commits him to a position I call “metaphysical indefinitism.” I demonstrate how this view follows from Śrīgupta’s rejection of mereological simples and ontologically independent being, when understood in light of his account of conventional reality. Contra recent claims in the secondary literature, I (...) clarify how the Madhyamaka metaphysical dependence structure is not a straightforward infinitism since it does not honor strict asymmetry or transitivity. Instead, its dependence relations are irreflexive and extendable, admitting of dependence chains of indefinite (though not actually infinite) length and dependence loops of non-zero length. Yet, the flexible ontology of Śrīgupta's Madhyamaka can accommodate a contextualist account of asymmetry and support a revisable theory of conventional truth, delivering significant payoffs for the view, including the capacity to accommodate developments in scientific explanation. (shrink)

Śrīgupta, a Buddhist philosopher in the Middle Way tradition, was born in Bengal in present-day India in the seventh century. He is best known for his Introduction to Reality with its accompanying auto-commentary,1 in which he presents the first Middle Way iteration of the influential "neither-one-nor-many argument."2 This antifoundationalist line of reasoning sets out to prove that nothing enjoys ontologically independent being.Gottfried Wilhelm Leibniz was born some one thousand years later, in the city of Leipzig, situated on the outskirts of (...) European learning and thought. He is best known today for having co-invented the infinitesimal calculus, for his... (shrink)

Animalism in its basic form is the view that we are animals. Whether it is a thesis about anything else – like what the conditions of our persistence through time are or whether we're wholly material things – depends on the facts about the persistence conditions and ontology of animals. Thus, I will argue, there are different varieties of animalism, differing with respect to which other theses are taken in conjunction with animalism in its basic form. The different varieties of (...) animalism vary in credibility: some varieties are supported by arguments that are irrelevant to others, and some varieties are susceptible to objections that others can resist. Adequately distinguishing between varieties of animalism is thus an important preliminary to assessing them. In this paper, I'll present and argue for a taxonomy of the most distinctive varieties. (shrink)

Feminism is sensational -- On being directed -- Willfulness and feminist subjectivity -- Trying to transform -- Being in question -- Brick walls -- Fragile connections -- Feminist snap -- Lesbian feminism -- Conclusion 1: A killjoy survival kit -- Conclusion 2: A killjoy manifesto.

Dharmakīrti’s (c. seventh century) Examination of Relations (Sambandhaparīkṣā) is unique in the Indian Buddhist canon for its being the only extant root text devoted entirely to the topic of the ontological status of relations. But the core thesis of this treatise—that relations are only nominally real—is in prima facie tension with another claim that is central to Dharmakīrti’s epistemology: that there exists some kind of “natural relation” (svabhāvapratibandha) that reliably underwrites inferences. Understanding how Dharmakīrti can consistently rely on natural relations (...) to prop up his presentation of inferential reasoning while at the same time advancing an anti-realist account of relations is critical for making sense of his system of logic and epistemology, which came to be nearly universally adopted in Tibetan Buddhism cutting across traditions. Chomden Rikpé Reldri (1227–1305), who was perhaps the most prolific commentator on logic and epistemology in the history of Tibetan philosophy, composed two texts commenting on the Examination of Relations, neither of which have received any scholarly attention to date. In this paper, I provide an introduction to Chomden Reldri’s two commentaries and consider how they may illuminate Dharmakīrti’s text and also what they reveal about the understanding of Dharmakīrti’s account of relations in early Tibetan scholasticism. I then present a translation of Dharmakīrti’s Examination of Relations together with Chomden Reldri’s commentary, Annotations and Topical Outline of the Examination of Relations (’Brel pa brtag pa’i mchan dang sa bcad gnyis). (shrink)

_The Promise of Happiness_ is a provocative cultural critique of the imperative to be happy. It asks what follows when we make our desires and even our own happiness conditional on the happiness of others: “I just want you to be happy”; “I’m happy if you’re happy.” Combining philosophy and feminist cultural studies, Sara Ahmed reveals the affective and moral work performed by the “happiness duty,” the expectation that we will be made happy by taking part in that which (...) is deemed good, and that by being happy ourselves, we will make others happy. Ahmed maintains that happiness is a promise that directs us toward certain life choices and away from others. Happiness is promised to those willing to live their lives in the right way. Ahmed draws on the intellectual history of happiness, from classical accounts of ethics as the good life, through seventeenth-century writings on affect and the passions, eighteenth-century debates on virtue and education, and nineteenth-century utilitarianism. She engages with feminist, antiracist, and queer critics who have shown how happiness is used to justify social oppression, and how challenging oppression causes unhappiness. Reading novels and films including_ Mrs. Dalloway_, _The Well of Loneliness_, _Bend It Like Beckham_, and _Children of Men_, Ahmed considers the plight of the figures who challenge and are challenged by the attribution of happiness to particular objects or social ideals: the feminist killjoy, the unhappy queer, the angry black woman, and the melancholic migrant. Through her readings she raises critical questions about the moral order imposed by the injunction to be happy. (shrink)

This paper defends a hylomorphic version of animalism according to which human persons survive as immaterial, bodiless animals after death. According to the hylomorphism under consideration, human persons have souls that survive death, and according to the animalism under consideration, human persons are necessarily animals. One might think this implies that human persons don't survive their deaths since if they were to survive their deaths, they would be immaterial animals after death, but necessarily animals are material. This paper shows that (...) the hylomorphic animalist can overcome this problem in a way that respects the intuition that animals are material. In addition, the paper defends the hylomorphic animalist survivalist from the objection that her view introduces an insoluble mereological puzzle. (shrink)

Introduction: find your way -- Orientations toward objects -- Sexual orientation -- The orient and other others -- Conclusion: disorientation and queer objects.

The fifteen essays, written by such eminent scholars as Derrida, Heidegger, Deleuze, Klossowski, and Blanchot, focus on the Nietzschean concepts of the Will to ...

The U.S. Supreme Court's majority opinion in Vacco v. Quill assumes that the principle of double effect explains the permissibility of hastening death in the context of ordinary palliative care and in extraordinary cases in which painkilling drugs have failed to relieve especially intractable suffering and terminal sedation has been adopted as a last resort. The traditional doctrine of double effect, understood as providing a prohibition on instrumental harming as opposed to incidental harming or harming asa side effect, must be (...) distinguished from other ways in which the claim that a result is notintended might be offered as part of ajustification for it. Although double effectmight appropriately be invoked as a constrainton ordinary palliative care, it is not clearthat it can be coherently extended to justifysuch practices as terminal sedation. A betterapproach would reconsider double effect'straditional prohibition on hastening death as ameans to relieve suffering in the context ofacute palliative care. (shrink)

The most popular uniting theme in feminist peace literature grounds women's peace work in mothering. I argue if maternal arguments do not address the variety of relationships different races and classes of mothers have to institutional violence and/or the military, then the resulting peace politics can only draw incomplete conclusions about the relationships between maternal work/thinking and peace. To illustrate this I compare two models of mothering: Sara Ruddick's decription of "maternal practice" and Patricia Hill Collins's account of racial-ethnic (...) women's "motherwork.". (shrink)

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

Making decisions with an, often significant, element of risk seems to be an integral part of many of the projects of the diverse profession of engineering. Whether it be decisions about the design of products, manufacturing processes, public works, or developing technological solutions to environmental, social and global problems, risk taking seems inherent to the profession. Despite this, little attention has been paid to the topic and specifically to how our understanding of engineering as a distinctive profession might affect how (...) we should make decisions under risk. This paper seeks to remedy this, firstly by offering a nuanced account of risk and then by considering how specific claims about our understanding of engineering as a social profession, with corresponding social values and obligations, should inform how we make decisions about risk in this context. (shrink)

Envy is almost universally condemned. But is its reputation warranted? Sara Protasi argues envy is multifaceted and sometimes even virtuous.

Using ethnographic data gathered at a mandated, community-based drug treatment program for women offenders, this article analyzes how gendered notions of the self and of autonomy shape penal governance. This study examines how psychological models of women's deviance, racialized visions of motherhood, and therapeutic techniques of the self come into tension with expectations of responsible, autonomous citizenship. The program prioritized therapeutic ways of governing its clients over those that emphasized economic self-reliance, rational decision making, and normalizing gender. This is because (...) staff attributed criminal and addictive behaviors to women's inadequate self-understanding and lack of emotional autonomy in personal relations. Staff discouraged women's motherhood and paid labor because they saw these external obligations as a threat to women's autonomous selfhood. This research complicates claims that contemporary forms of penal treatment manage offenders through rational incentives and personal responsibility by pointing to the ways that subject formation is a gendered process. (shrink)

Mood disorders, including major depressive disorder and bipolar disorder, are highly prevalent, frequently disabling, and sometimes deadly. Additional research and more effective medications are desperately needed, but clinical trials research in mood disorders is fraught with ethical issues. Although many authors have discussed these issues, most do so from a theoretical viewpoint. This manuscript uses available empirical data to inform a discussion of the primary ethical issues raised in mood disorders research. These include issues of consent and decision-making capacity, including (...) patients’ motivations for participating in research. We also address drug withdrawals, placebo controls, and the overall safety of research. Finally, we examine the extant literature for studies discussing potential indirect benefits of clinical trials research to participants. Taken together, the evidence suggests that clinical trials research incorporating drug withdrawals and placebo controls can be conducted safely and ethically, even in patients with severe or treatment-resistant mood disorders. In fact, given the dearth of effective treatment options for this population, it is our opinion that a moral imperative exists to extend the offer of research participation to severely ill or treatment-resistant groups. (shrink)

In this paper I present a novel taxonomy of envy, according to which there are four kinds of envy: emulative, inert, aggressive and spiteful envy. An inquiry into the varieties of envy is valuable not only to understand it as a psychological phenomenon, but also to shed light on the nature of its alleged viciousness. The first section introduces the intuition that there is more than one kind of envy, together with the anecdotal and linguistic evidence that supports it. The (...) second section proposes and explains in detail a definition of envy tout court. The third section presents a recurring distinction between behavioral tendencies of envy, which has been explained in two distinct ways, one mostly proposed by psychologists, the other discernible in the philosophical tradition. The fourth section argues that these models of explanation track two variables, whose interplay is responsible for the existence of the four envies. The fifth section illustrates four paradigmatic cases, and provides a detailed analysis of the phenomenology, motivational structure, and typical behavioral outputs of each. The paper ends with a brief discussion of the implications of the taxonomy for moral education. (shrink)

The American Institute of Certified Public Accountants (AICPA) is responsible for the Code of Professional Conduct that governs the actions of CPAs. In 1988, the Code was revised by the AICPA, but a number of issues still remain unresolved or confounded by the new Code. These issues are examined in light of the profession''s stated commitment to the public good, a commitment that is discussed at length in the new Code.Specifically, this paper reviews the following issues: (1) client confidentiality and (...) whistleblowing, (2) limited liability, and (3) auditor independence. We argue that, in each of these areas, the AICPA promotes a position that is potentially harmful to the public good. (shrink)

Jan Westerhoff defends an account of thoroughgoing non-foundationalism that he calls “irrealism,” which is implicitly modeled on a Madhyamaka Buddhist view. In this paper, I begin by raising worries about the irrealist’s account of human cognition as taking place in a brain-based representational interface. Next, I pose first-order and higher-order challenges to how the irrealist—who defends a kind of global error theory—can sensibly accommodate an unlocalized appearance-reality distinction, both metaphysically and epistemologically. Finally, although Westerhoff insists that irrealism itself is not (...) an ontological theory and that the irrealist’s rejection of absolutely general quantification precludes his commitment to any ultimately true theories, I propose strategies inspired by the Svātantrika commentarial tradition of Madhyamaka for how the irrealist might develop a lightweight account of unrestricted quantification that could be used to advance a lightweight ultimately true theory. This, I suggest, may allow the irrealist to (i) preserve a commitment to an unlocalized appearance-reality distinction, (ii) underwrite a distinction between ordinary veridical states and metaphysically accurate epistemic states, and (iii) provide an explanation for the massive error that he claims characterizes ordinary cognition. (shrink)

The paper suggests that we can usefully approach whiteness through the lens of phenomenology. Whiteness could be described as an ongoing and unfinished history, which orientates bodies in specific directions, affecting how they `take up' space, and what they `can do'. The paper considers how whiteness functions as a habit, even a bad habit, which becomes a background to social action. The paper draws on experiences of inhabiting a white world as a non-white body, and explores how whiteness becomes worldly (...) through the noticeability of the arrival of some bodies more than others. A phenomenology of whiteness helps us to notice institutional habits; it brings what is behind to the surface in a certain way. (shrink)

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

Longchen Rabjampa (1308–64), scholar of the Tibetan Buddhist Nyingma tradition, presents a novel doxographical taxonomy of the so-called Svātantrika branch of Madhyamaka Buddhist philosophy, designating the Indian Mādhyamika Śrīgupta (c. 7th/8th century) as the exemplar of a Svātantrika sub-school which maintains that appearance and emptiness are metaphysically distinct. This paper compares Longchenpa’s characterization of this “distinct-appearance-and-emptiness” view with Śrīgupta’s own account of the two truths. I expose a significant disconnect between Longchenpa’s Śrīgupta and Śrīgupta himself and argue that the impetus (...) for Longchenpa’s doxographical innovation originates not in Buddhist India, but within his own Tibetan intellectual milieu, tracing back to his twelfth-century Sangpu Monastery predecessors, Gyamarwa and Chapa. (shrink)